1. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
2. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated deduction - A Basis for applications
المؤلف: edited by wolfgang Bibel, Peter H. Schmitt
المکتبة: (خراسان الجنوبیة)
موضوع: ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
4. Automated deduction-a basis for applications
المؤلف: / edited by Wolfgang Bibel and Peter H.Schmitt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic,Symbolic and mathematical,Automatic theorem proving
رده :
QA
76
.
9
.
A96
1998
